241. Logic programming in action; Second international logic programming Summer School, LPSS'92, Zurich, Switzerland, September 7-11, 1992: Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L66
1992
242. Logic programming, knowledge representation, and nonmonotonic reasoning
پدیدآورنده : [edited by]& Marcello Balduccini, Tran Cao Son
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع :
243. Logic programming, knowledge representation, and nonmonotonic reasoning :
پدیدآورنده : Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Gelfond, Michael,Logic programming,Nonmonotonic reasoning
244. Logic programming '88: proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L63
1989
245. Logic programming with Prolog /
پدیدآورنده : Max Bramer
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
246. Logical foundations for cognitive agents :
پدیدآورنده : Hector J. Levesque, Fiora Pirri (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer logic.,Intelligent agents (Computer software)
رده :
QA76
.
9
.
L63
H438
1999
247. Logics in AI : European Workshop JELIA'90, Amsterdam, the Netherlands, September 10-14, 1990 :proceedings
پدیدآورنده : J. Van Eijck )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic programming,Data processing -- Congresses ، Semantics,Congresses ، Logic, Symbolic and mathematical,Congresses ، Nonclassical mathematical logic
رده :
QA
76
.
L28
Vol
.
478
248. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده : European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
249. Logics in artificial intelligence :
پدیدآورنده : Francesco Calimeri, Nicola Leone, Marco Manna (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Artificial intelligence.,Logic, Symbolic and mathematical.
رده :
Q334
250. Logics in artificial intelligence :
پدیدآورنده : José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.,Computer science -- Congresses.
251. MICAI 2002 :
پدیدآورنده : Carlos A. Coello Coello [and others], (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.
252. Machine Learning:
پدیدآورنده : edited by Pavel B. Brazdil.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer science.
رده :
Q325
.
5
E358
1993
253. Machine learning :
پدیدآورنده : Y. Kodratoff (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
254. Machine learning and knowledge discovery in databases :
پدیدآورنده : Dimitrios Gunopulos [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining, Congresses,Databases, Congresses,Machine learning, Congresses
رده :
Q325
.
5
.
E26
2011
255. Machine learning and knowledge discovery in databases :
پدیدآورنده : Dimitrios Gunopulos [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining, Congresses,Databases, Congresses,Machine learning, Congresses
رده :
Q325
.
5
.
E26
2011
256. Mastering C++ Game Development :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C++ (Computer program language),Computer games-- Programming.,C++ (Computer program language),Computer games-- Programming.,Computers-- Computer Graphics.,Computers-- Programming Languages-- C.,Computers-- Programming Languages-- General.,Graphical & digital media applications.,Programming & scripting languages: general.
رده :
QA76
.
73
.
C153
257. Mathematical foundations of computer science 2013 :
پدیدآورنده : Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
258. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
پدیدآورنده : Nonmonotonic and inductive logic:second international workshop reinhards brom castle,Germany,December 1991 proceedings
کتابخانه: (کرمان)
موضوع : Logic programming-congresses,Artificial intelligence-congresses
رده :
QA
76
.
6
.
N671
1993
259. May 1, 2010, Revised Selected Papersع۰ب16, Dakar, Senegal, April 25-Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR
پدیدآورنده : / Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
